, which uses the intuitionistic propositional calculus, with the only connective →. It is very important, because the well known Curry-Howard correspondence between proofs and programs was originally discovered with it, and because it enjoys the normalization property: every typed term is strongly normalizable. It was extended to second order intuitionistic logic, in 1970, by J.-Y. Girard [4], under the name of system F, still with the normalization property.More recently, in 1990, the Curry-Howard correspondence was extended to classical logic, following (...) Felleisen and Griffin [6] who discovered that the law of Peirce corresponds to control instructions in functional programming languages. It is interesting to notice that, as early as 1972, Clint and Hoare [1] had made an analogous remark for the law of excluded middle and controlled jump instructions in imperative languages.There are now many type systems which are based on classical logic; among the best known are the system LC of J.-Y. Girard [5] and the λμ-calculus of M. Parigot [11]. We shall use below a system closely related to the latter, called the λ c -calculus [8, 9]. Both systems use classical second order logic and have the normalization property.In the sequel, we shall extend the λ c -calculus to the Zermelo-Frænkel set theory. The main problem is due to the axiom of extensionality. To overcome this difficulty, we first give the axioms of ZF in a suitable (equivalent) form, which we call ZF ɛ. (shrink)

Aristotle’s Prior Analytics identifies deductions simpliciter with inferential necessity, so that a deduced conclusion is necessarily inferred from some premises. Modern logical reconstructions claim that inferential necessity in Aristotle corresponds to logical validity. However, this logical reconstruction fails on two accounts. First, logical validity does not highlight Aristotle’s distinction between inferential necessity and predicative necessity, meaning that the inferential necessity of a deduction is not of the same kind as the predicative necessity of a non‑deductive argument. Second, logical validity does (...) not explain the relevance of Aristotle’s distinction between complete and incomplete deductions. Logicians speak of complete deduction by adding the term “obvious” or “transparent” to logical validity, and then criticize Aristotle’s view for being unclear. However, Aristotle’s position is not confronted with this difficulty. There is nothing to add to inferential necessity, which already means complete deducibility, as opposed to incomplete deducibility, deemed to be potentially complete. Accordingly, the Prior Analytics reduces the incomplete deductions to the complete deductions in order to prove the potential, inferential necessity of the incomplete deductions. Logical validity would have been faithful to Aristotle’s text, if it had been possible to coin a notion of potential validity, distinct from both validity and invalidity. (shrink)

Artificial intelligency can bring speed and reliability to drug discovery process. It represents an additional intelligence, which in any case can replace the strategic and logic creative insight of the medicinal chemist who remains the architect and molecule master designer. In terms of drug design, artificial intelligency, deep learning machines, and other revolutionary technologies will match with the medicinal chemist’s natural intelligency, but for sure never go beyond. This manuscript tries to assess the impact of the artificial intelligency on drug (...) discovery today. (shrink)

Les traites de zoologie d'Aristote ne sont nullement des traites mineurs, voire anecdotiques, mais des traites a inscrire au contraire dans la vaste enquete sur la nature qu'il entendait mener et qui caracterise si bien sa philosophie. Qu'en est-il cependant des capacites animales telles qu'Aristote les a decrites? Le probleme est autre, tant dans nombre de recherches recentes, les animaux eux-memes semblent avoir ete parfois comme oublies en chemin au profit de recherches plus epistemologiques. C'est ce singulier oubli que ces (...) etudes voudraient commencer de reparer en s'attachant a ce qu'Aristote dit effectivement de la vie meme des animaux et de leurs capacites a communiquer, a vivre en societe, voire tout simplement a se mouvoir. Qu'en est-il exactement de la difference entre la voix que possedent certains animaux et le langage propre aux etres humains? Comment se peut-il qu'Aristote qualifie certains autres animaux que l'homme de politiques et non seulement de gregaires? Par quels mecanismes psychologiques et physiologiques les animaux se mettent-ils en mouvement? Que cherche a expliquer le pretendu syllogisme pratique? Telles sont les questions abordees dans ces etudes. (shrink)

Research on teachers’ professional identity integrates many constructs that are treated independently in most cases. This study described the associations between components of teacher professional identity and their association with teachers’ general pedagogical beliefs. Secondary teachers completed a survey about several components of their identity and general pedagogical beliefs. Multidimensional scaling revealed that the components could be mapped on two dimensions: form of motivation and degree of subject specificity. The resulting map revealed four meaningful groups of components. Furthermore, whereas direct (...) transmission general pedagogical beliefs were found to be strongly tied to an identity grounded in the subject taught, constructivist beliefs were independent of identity components. This study provides new insight into the stru... (shrink)

In this article first appeared in 1997, Jean-Louis Chrétien examines the meaning of prayer in Kierkegaard’s writings and existence. By focusing on the difficulties of this task and with meticulous attention to the vast work of the Danish philosopher, Chrétien describes prayer as a tense and agonistic experience, akin to the evangelical struggle between Jacob and the angel. Just like in his well-known phenomenological analysis, “The Wounded Word: Phenomenology of Prayer”, the author identifies in prayer a paradoxical articulation (...) of struggle and peace, gift and endeavour, speaking and listening, through which the human being is profoundly transformed and finally learns to truly say “thank you”. (shrink)

Véronique Adam : Les neurosciences ne s’intéressent que depuis très récemment à l’olfaction. Pourriez‑vous expliquer pourquoi ce sens est devenu un objet d’étude plus prégnant? Jean-Louis Millot : En fait, l’olfaction demeure encore peu étudiée comparée à d’autres modalités sensorielles. De manière générale, les neurosciences cognitives actuelles, comme d’autres investigations scientifiques chez l’homme par le passé, se focalisent davantage sur les compétences cognitives complexes, telles qu...

Que signifie l’Europe pour les juristes? La première réponse, de caractère descriptif, renvoie aux deux ordres juridiques européens, celui de l’Union Européenne et celui du Conseil de l’Europe. Ces deux ordres juridiques reposent sur des traités et les États qui adhèrent à ces traités sont reconnus comme « européens ». Le concept juridique d’Europe est donc distinct du concept géographique : il intègre des territoires situés en Asie ou outremer. L’Europe juridique ne correspond pas non plus à un peuple européen, (...) mais à une pluralité de peuples reliés à des États-nations dont les institutions démocratiques ont approuvé l’adhésion à l’Europe. La soumission au droit des traités européens est ainsi à la base, conventionnelle, de l’Europe juridique. Cette situation peut être envisagée comme une série de fictions qui ont donné naissance à un réseau, relativement stables, de règles sur la protection des droits de l’homme. C’est ce droit cosmopolite des droits de l’homme qui peut être considéré comme la structure fondamentale du concept juridique d’Europe. (shrink)

Un foisonnement d'expériences associatives et coopératives s'est manifesté dans les différents pays européens depuis les années 1970, particulièrement dans le champ des initiatives locales et des nouveaux services relationnels. Selon la grille d'analyse adoptée qui privilégie le potentiel de démocratisation, ces pratiques peuvent être mieux comprises à travers une perspective d'économie solidaire que par les références habituelles au tiers secteur, à l'économie sociale et aux organisations non gouvernementales. Néanmoins, comme l'interdépendance entre actions collectives et publiques s'avère déterminante dans l'histoire européenne (...) pour organiser une résistance à l'utopie d'une « société de marché », le devenir de l'économie solidaire est étroitement lié à la reconnaissance par les pouvoirs publics. Tant au niveau national qu'international celle-ci reste partielle et la pertinence d'un soutien ne fait pas consensus comme le montre la position de l'Union européenne.A large amount of associative and cooperative experiments has arisen everywhere in Europe since the 1970s particularly in the fields of local initiatives and new “relational” services. Our framework of analysis shows these practices are better understood by a civil and solidarity-based economy perspective, emphasizing their potential of economic democratization, rather than by the usual references to third sector, social economy or non-governmental organizations. Nevertheless, since collective and public action has interacted decisively in European history to organize resistance against the utopic vision of the “market society”, the future of this solidarity-based economy appears to be closely linked to its recognition by public policies. But at the European and national levels, this still remains partial and the relevance of such an economy is a highly controversial subject as the European Union’s position demonstrates. (shrink)

Aristotle's endeavor, at least insofar as we can judge from the way it has been transmitted to us and from the titles of the lost works, is often presented as the first work of an encyclopedic nature, as it seems to embrace and order all of the elements of knowledge. Does Aristotle not advance a classification of sciences, in Metaphysics, E, 1, as well as a systematic outline of the “sciences of nature” in his Meteorologica, I, 1? And again, although (...) logic is often presented as not belonging to the system of sciences since it is not counted as a science in Metaphysics, E, 1, is Aristotle not generally considered the inventor of this discipline? The impression is all the stronger in that Andronicus of Rhodes, in the first century b.c., edited Aristotle's works by roughly adopting the threefold division of philosophy into Logic-Physics-Ethics, a division that had become common during the Hellenistic period though more particularly proper to the Stoic system. Since then, all the editions of Aristotle, in every language, have been made to serve the order in which Aristotle's treatises were thus edited. (shrink)

This paper shows that Aristotle's De Interpretatione does not separate syntax from semantics. Linguistic sentences are not syntactic entities, and non-linguistic meanings are not semantic propositions expressed by linguistic sentences. In fact, Aristotle resorts to a mental conception of meaning, distinguishing linguistic meanings in a given language from non-linguistic mental contents in relation to actual things: while the former are not the same for all, the latter are shared by everyone. Aristotle is not a modern logician, like Boole, Frege, or (...) Russell, in so far as a mental conception of meaning does not reveal an abstract semantics for a syntactic language. (shrink)

Jean-Louis Fournel, abordant la période des guerres d’Italie, tente de montrer comment ces nouvelles guerres modifient l’intensité et le rythme de la guerre guerroyée : la conscience d’une violence et d’une rapidité inédites fait planer une menace de mort sur les États eux-mêmes et la question de la guerre est dès lors placée au cœur de la pensée politique. Trois manifestations de ces « nouvelles » guerres marquent particulièrement les contemporains et autorisent l’analyste à évoquer ici une « (...) brutalisation » ou un ensauvagement des conflits, bien avant la Première Guerre mondiale qui a fondé récemment le développement d’une telle problématique : les sacs de ville, la mise en coupe réglée des territoires conquis avec le développement d’une véritable guerre contre les civils et, enfin, l’augmentation exponentielle du nombre de morts durant les batailles (du fait entre autres des modifications dans l’armement et du nombre de soldats constituant les nouvelles armées « nationales »). S’ensuivent des tentatives d’une nouvelle « humanisation », très relative des conflits armés fondée sur un nouvel examen du jus in bello (par opposition à une quasi disparition de la question du jus ad bellum). Il est notable à cet égard que le lexique de la « barbarie » est très peu utilisé chez les chroniqueurs et historiens des guerres d’Italie alors même qu’il a une forte présence chez les historiens et témoins des guerres de Religion en France. On peut se poser la question de savoir s’il ne faudrait pas voir là une certaine « rechristianisation » du discours sur la guerre. De la sorte, cette « rechristianisation » d’une partie de la réflexion sur la violence de guerre, au croisement du déclin de l’idéologie chevaleresque, des réflexions philosophiques, théologiques ou juridiques nées des massacres commis par les conquistadores dans le « nouveau monde » (Cortez avait fait ses premières armes sur les champs de bataille italiens) et des réactions face aux atrocités de la guerre civile, permettrait peut-être tout à la fois d’inscrire la barbarie dans le présent des conflits, de permettre un nouveau discours pacifiste, de confier paradoxalement au souverain comme instance laïque, au-dessus des choix religieux personnels, le rôle d’arbitre et de régulateur des guerres (cf. les politiques), et, enfin, de relancer la question du jus in bello (le jus ad bellum n’étant plus vraiment opératoire, pas plus que le rôle d’arbitre du pape qui s’effondrera bientôt définitivement dans l’Europe née du traité de Westphalie). (shrink)

Thirteen inscriptions are published concerning magistrates or Roman emperors, which were found in the Claros excavations carried out from 1950 to 1961 by Louis and Jeanne Robert and Roland Martin. There are ten inscriptions on monuments put up (or reused) in honour of Romans along the sacred way (one is an unpublished inscription by the Ionian koinon in honour of Pompey, γης και θαλάσσης έπόπτην; the others come from the city of Colophon). A base of Octavian found in the (...) interior of the temple of Apollo suggests that he could have been honoured shortly after Actium, as σύνναος of the god. The two last inscriptions on architrave blocks from the temple of Apollo, show that the northern part of the pronaos was consecrated to Tiberius, and make it possible to restore and date the dedication of the temple by Hadrian (between 135 and 138). (shrink)

Introduction. Il est bien connu que la correspondance de Curry-Howard permet d'associer un programme, sous la forme d'un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre. Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul. Chaque théorème formalisé en logique du second ordre correspond donc à une spécification de programme.Il se pose alors le problème, en général tout à fait non trivial, de trouver la spécification associée (...) à un théorème donné; autrement dit, de déterminer le comportement opérationnel commun aux λ-termes associés aux diverses démonstrations formelles du théorème considéré.Cette question est résolue ici pour le théorème de complétude de la logique classique.La première étape consiste à formaliser convenablement ce théorème en logique du second ordre. Ce travail est fait complètement dans la section 1. Il a comme sous-produit, peut-être inattendu, de montrer que ce théorème est prouvable en logique intuitionniste du second ordre. Ceci, toutefois, à condition d'introduire une légère variante de la notion de modèle, en admettant un modèle supplémentaire trivial, où toute formule est satisfaite.On notera, à ce sujet, que des preuves intuitionnistes du théorème de complétude de la logique intuitionniste, utilisant des variantes de la notion de modele de Kripke, ont été données par H. Friedman [7] et W. Veldman [8]. On remarquera également qu'un argument de G. Kreisel [2] montre que le théorème de complétude habituel de la logique intuitionniste n'a pas de preuve intuitionniste. (shrink)

Episodic memory is certainly a unique endowment, but its primary purpose is something other than to provide raw material for creative synthesis of future scenarios. Remembered episodes are exactly those that are worth telling. The function of episodic memory, in my view, is to accumulate stories that are relevant to recount in conversation.

Si l’on s’en tient à la grammaire traditionnelle, la question des noms propres est simple : on peut les séparer en noms de personnes et noms de lieux, une catégorie supplémentaire est parfois ajoutée, et ils s’opposent aux noms communs sur un certain nombre de critères (absence de déterminant, présence d’un haut de casse pour l’initiale, etc.). Pourtant, dès que l’on se confronte à des corpus authentiques, cette simplicité vole en éclats : la catégorie des noms propres est bien plus (...) hétérogène qu’on ne le pense et les critères généralement utilisés pour les définir deviennent parfois caducs. Nous tenterons de classer la série de termes qui ont été proposés à l’analyse soit dans la catégorie des noms propres, soit dans celle des noms communs en nous aidant de la notion de normes et du contexte linguistique, car une définition différente de celle des grammaires est nécessaire. (shrink)

Lo studio degli interventi politici repubblicani fiorentini dopo il 1494 (prediche savonaroliane, testi d'intervento, discorsi, dialoghi, cronache e storie) mette in rilievo in quest'articolo la nascita di una nuova lingua della politica, più immediata, più efficace, più precisa, più chiara che intende render conto dei tempi nuovi della guerra permanente e del suo stato d'emergenza. Questa retorica inedita porta quindi in sé nuove forme di razionalità politica che portono con sé buona parte dell'aurora della politica moderna.